Oxford University Computing Laboratory - PDFSEARCH.IO - Document Search Engine

Oxford University Computing Laboratory
Results: 135

#	Item
31	Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Boris Motik, Rob Shearer, and Ian Horrocks Oxford University Computing Laboratory 1 Add to Reading List Source URL: www.hermit-reasoner.com - Date: 2012-02-03 12:06:02
32	Guide2lhs2TeX (for versionRalf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Software engineering Computer programming Computing Higher-order functions Programming language comparisons Map Haskell Fold TeX Comment Directive Literate programming
33	Guide2lhs2TeX (for versionRalf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Software engineering Computer programming Computing Higher-order functions Programming language comparisons Source code Map Haskell Fold Programming style TeX Comment
34	Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:05 Logic Model theory Mathematics Mathematical logic Conjunctive query Structure First-order logic Substitution Relational algebra FO Interpretation Satisfiability
35	Guide to lhs2TEX (for versionRalf Hinze Computing Laboratory, University of Oxford Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Software engineering Software Computer programming Source code Functional languages Haskell Literate programming Directive Comment Printf format string Map LaTeX
36	Optimising Ontology Classification Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos Oxford University Computing Laboratory, UK Abstract. Ontology classification—the computation of subsumption hierarchies for Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Information science Semantic Web Computing Information Cognitive science Resource Description Framework Web Ontology Language Knowledge representation Description logic Algorithm Ontology
37	Guide2lhs2TeX (for versionRalf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Higher-order functions Programming language comparisons Source code Map Haskell Fold Literate programming Programming style LaTeX Comment TeX Directive
38	Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking
39	Algorithmic Meta-Theorems Stephan Kreutzer Oxford University Computing Laboratory Abstract. Algorithmic meta-theorems are general algorithmic results Add to Reading List Source URL: logic.las.tu-berlin.de Language: English - Date: 2015-06-17 12:07:41
40	Winning Regions of Pushdown Parity Games: A Saturation Method Matthew Hague and C.-H. Luke Ong Oxford University Computing Laboratory Abstract. We present a new algorithm for computing the winning region of a parity gam Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:57

UPDATE